A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·6h
🏹Effect Systems
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·1d·
Discuss: Hacker News
🛡️seL4
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
🎮Verification Games
30 Easy Python Projects, Solved & Explained in a Simple Way
quickcodesummary.blogspot.com·16h·
Discuss: r/programming
💻CS
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1h·
Discuss: Hacker News
➡️Category Theory
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·15h·
Discuss: Hacker News
🤖Program Synthesis
The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
🎮Verification Games
"Intelligenza Artificiale for Artificial Intelligence Research and Development"
news.ycombinator.com·13h·
Discuss: Hacker News
🤖Program Synthesis
Can you trust your friendly neighborhood LLM?
chrisbeckman.dev·17h·
Discuss: Hacker News
🛡️seL4
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·6h
💻CS
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·1d
🛡️seL4
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs
arxiv.org·6h
🎮Verification Games
Show HN: Sourcebot, the self-hosted Perplexity for your codebase
github.com·19h·
Discuss: Hacker News
🔬Static Analysis
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·6h
🛡️seL4
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·1h·
Discuss: Hacker News
🔬Static Analysis
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·6h
🔬Static Analysis
The Dartboard Sequence
mathpages.com·9h·
Discuss: Hacker News
🎮Verification Games
Why I believe in AGI (again)
guzey.com·15h·
Discuss: Hacker News
🎮Verification Games
Development with GenAI: Boardroom vs reality
pdole.ga·3h·
Discuss: r/programming
👁️System Observability
LLM-Crowdsourced: A Benchmark-Free Paradigm for Mutual Evaluation of Large Language Models
arxiv.org·6h
🎮Verification Games